DEF=def
EXT=def
KOMPILE_BACKEND=haskell
TESTDIR=.
KPROVE_FLAGS=--branching-allowed 1 --spec-module DEF-SPEC
export KORE_EXEC_OPTS=--log-level error

include ../include/ktest.mak
